Issue3803.agda:2,3-8
Empty field block.
when scope checking the declaration
  record Foo where
    field
Issue3803.agda:8,3-8
Empty field block.
when scope checking the declaration
  record A where
    B : Set₁
    B = Set
    field
Issue3803.agda:11,3-8
Empty field block.
when scope checking the declaration
  record C where
    field
    B : Foo
    B = _
Issue3803.agda:19,3-8
Empty field block.
when scope checking the declaration
  record D where
    B : Set₁
    B = Set
    field
    F : Foo
    F = _

———— All done; warnings encountered ————————————————————————

Issue3803.agda:2,3-8
Empty field block.
when scope checking the declaration
  record Foo where
    field

Issue3803.agda:8,3-8
Empty field block.
when scope checking the declaration
  record A where
    B : Set₁
    B = Set
    field

Issue3803.agda:11,3-8
Empty field block.
when scope checking the declaration
  record C where
    field
    B : Foo
    B = _

Issue3803.agda:19,3-8
Empty field block.
when scope checking the declaration
  record D where
    B : Set₁
    B = Set
    field
    F : Foo
    F = _
